A REC-Based Commitment Tracking Tool

Social commitments are commitments made from an agent to another agent to bring about a certain property. In broad terms, a social commitment represents the commitment that an agent, called debtor, has towards another agent, called creditor, to bring about some property or state of affairs, which is the subject of the commitment. Commitments are a well-known concept in Multi-Agent Systems (MAS) research [2, 6]. Representing the commitments that the agents have to one another and specifying constraints on their interactions in terms of commitments provides a principled basis for agent interactions [8]. Central to the whole approach is the idea of manipulation of commitments: their creation, discharge, delegation, assignment, cancellation, and release, since commitments are stateful objects that change in time as events occur. Time and events are, therefore, essential elements. In our previous research [7] we introduced an abstract architecture for the specification and reasoning about social commitments. It supports the CML Commitment Modeling Language, and it is based on a reactive version of the Event Calculus [5] calledREC [3]. In this demo, we show a concrete instantiation of the framework and the functioning of its prototypical version implemented in Java+Prolog.